381. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
382. Categories and computer science
پدیدآورنده : / R.F.C. Walters
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Categories (Mathematics)--Data processing,Electronic digital computers--Programming
383. Categories, types, and structures
پدیدآورنده : / Andrea Asperti, Giuseppe Longo
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
384. Categories, types, and structures
پدیدآورنده : / Andrea Asperti, Giuseppe Longo
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
385. Categories, types, and structures : an introduction to category theory for the working computer scientist
پدیدآورنده : Asperti, Andrea
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Categories )Mathematics(
رده :
QA
76
.
7
.
A76
1991
386. Category theory and computer science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
387. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
388. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
389. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
390. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
391. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
392. Category theory & computer programming:tutorial & workshop,
پدیدآورنده : PITT,DAVID H
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
393. Classic shell scripting
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : UNIX (Computer file) ; Operating systems (Computers) ; Programming languages (Electronic computers) ;
394. Clipper 5.01
پدیدآورنده : / Subhash Mehta,Mehta
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Clipper ( Computer program language ),Programming language (Electronic Computers)
رده :
QA
76
.
73
.
C56M4
1992
395. Cobol programming
پدیدآورنده : / [ by ] Nancy B .Stern [ and others ],Stern
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : COBOL (computer program language),Electronic digital computers -- Programming
رده :
QA
76
.
73
.
C25S75
396. Cobol programming: a complete cource in writing cobol programs
پدیدآورنده : / by John Watters
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming,Cobol (Computer program langue)
رده :
651
.
8
Wa-C
397. Cocoa programming for Mac OS X
پدیدآورنده : / Aaron Hillegass
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mac OS.,Cocoa (Application development environment),Operating systems (Computers),Macintosh (Computer)--Programming
رده :
QA
,
76
.
76
,.
O63
,
H57145
,
2008
398. Code craf
پدیدآورنده : / Pete Goodliffe
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer programming.,Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
6
,.
G656
,
2006eb
399. Code craft
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;
400. Coders at work :
پدیدآورنده : Peter Seibel
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programmers, Interviews,Programming (Electronic computers)
رده :
HD8039
.
D37
S45
2009
